Jeopardy Inverting Mildly Deep De nitions
نویسندگان
چکیده
We consider functions de ned by ground convergent left linear rewrite systems By restricting the depth of left sides and disallow ing de ned symbols at the top of right sides we obtain an algorithm for function inversion
منابع مشابه
Deep Equality Revisited
We revisit the notion of deep equality among objects in an ob ject database from a formal point of view We present three natural formalizations of deep equality one based on the in nite value trees associated with objects one based on the greatest xpoint of an oper ator on equivalence relations among objects and one based on indis tinguishability of objects using observations of atomic values r...
متن کاملMining distributed databases for attribute definitions
The paper focuses on discovery of knowledge needed to establish the shared meaning of attributes in a network of distributed autonomous databases. In this paper we concentrate on the role of equations as de nitions of attribute values. We brie y describe various applications of such de nitions, including predictions, knowledge veri cation, intelligent query answering and several others. We pres...
متن کاملRe ning de nitions with unknown opens using XSB for IDP
FO(·) is a declarative modeling language that extends rst-order logic with inductive de nitions, partial functions, types and aggregates. Its model generator IDP grounds the problem into a lowlevel (propositional) representation and consequently use a generic solver to search for a solution. Recent work introduced a technique that evaluates all de nitions that depend on fully known information ...
متن کاملFirst - Order De nitions of Functions
First-order learning involves nding a clause-form de nition of a relation from examples of the relation and relevant background information. In this paper, a particular rst-order learning system is modi ed to customize it for nding de nitions of functional relations. This restriction leads to faster learning times and, in some cases, to de nitions that have higher predictive accuracy. Other rst...
متن کاملDesignated Con rmer Signatures Revisited
Previous de nitions of designated con rmer signatures in the literature are incomplete, and the proposed security de nitions fail to capture key security properties, such as unforgeability against malicious con rmers and non-transferability. We propose new de nitions. Previous schemes rely on the random oracle model or set-up assumptions, or are secure with respect to relaxed security de nition...
متن کامل